- algebra of statements
-
algebra sudova
English-Croatian dictionary. 2013.
algebra of statements
Look at other dictionaries:
Algebra over a field — This article is about a particular kind of vector space. For other uses of the term algebra , see algebra (disambiguation). In mathematics, an algebra over a field is a vector space equipped with a bilinear vector product. That is to say, it is… … Wikipedia
algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… … Universalium
Algebra — This article is about the branch of mathematics. For other uses, see Algebra (disambiguation). Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from… … Wikipedia
Algebra of sets — The algebra of sets develops and describes the basic properties and laws of sets, the set theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures … Wikipedia
algebra — al•ge•bra [[t]ˈæl dʒə brə[/t]] n. 1) math. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such… … From formal English to slang
History of algebra — Elementary algebra is the branch of mathematics that deals with solving for the operands of arithmetic equations. Modern or abstract algebra has its origins as an abstraction of elementary algebra. Historians know that the earliest mathematical… … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Conditional event algebra — A conditional event algebra (CEA) is an algebraic structure whose domain consists of logical objects described by statements of forms such as If A, then B, B, given A, and B, in case A. Unlike the standard Boolean algebra of events, a CEA allows… … Wikipedia
List of statements undecidable in ZFC — The following is a list of mathematical statements that are undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice), assuming that ZFC is consistent.Functional analysisCharles Akemann and Nik Weaver showed in 2003 that the… … Wikipedia
Grassmann–Cayley algebra — is a form of modelling algebra for projective geometry, based on work by German mathematician Hermann Grassmann on exterior algebra, and, subsequently, by British mathematician Arthur Cayley s work on matrices and linear algebra. It is also known … Wikipedia
Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… … Wikipedia
